division algorithm for F[x]